. S C ] 1 9 Ja n 20 14 Parallel Telescoping and Parameterized Picard – Vessiot Theory ∗
نویسندگان
چکیده
Parallel telescoping is a natural generalization of differential creativetelescoping for single integrals to line integrals. It computes a linear ordinary differential operator L, called a parallel telescoper, for several multivariate functions, such that the applications of L to the functions yield antiderivatives of a single function. We present a necessary and sufficient condition guaranteeing the existence of parallel telescopers for differentially finite functions, and develop an algorithm to compute minimal ones for compatible hyperexponential functions. Besides computing annihilators of parametric line integrals, we use the parallel telescoping for determining Galois groups of parameterized partial differential systems of first order.
منابع مشابه
Linear algebraic groups as parameterized Picard–Vessiot Galois groups
We show that a linear algebraic group is the Galois group of a parameterized Picard-Vessiot extension of k(x), x′ = 1, for certain differential fields k, if and only if its identity component has no one dimensional quotient as a linear algebraic group.
متن کاملComputing the differential Galois group of a one-parameter family of second order linear differential equations
We develop algorithms to compute the differential Galois group corresponding to a one-parameter family of second order homogeneous ordinary linear differential equations with rational function coefficients. More precisely, we consider equations of the form ∂2Y ∂x2 + r1 ∂Y ∂x + r2Y = 0, where r1,r2 ∈C(x, t) and C is an algebraically closed field of characteristic zero. We work in the setting of ...
متن کاملExistence of ∂-parameterized Picard–Vessiot extensions over fields with algebraically closed constants
Article history: Received 7 June 2011 Available online 23 April 2012 Communicated by Leonard L. Scott, Jr.
متن کاملA Categorical Approach to Picard-vessiot Theory
Picard-Vessiot rings are present in many settings like differential Galois theory, difference Galois theory and Galois theory of Artinian simple module algebras. In this article we set up an abstract framework in which we can prove theorems on existence and uniqueness of Picard-Vessiot rings, as well as on Galois groups corresponding to the Picard-Vessiot rings. As the present approach restrict...
متن کاملThe Differential Azumaya Algebras and Non-commutative Picard–Vessiot Cocycles
A differential Azumaya algebra, and in particular a differential matrix algebra, over a differential field K with constants C is trivialized by a Picard–Vessiot (differential Galois) extension E. This yields a bijection between isomorphism classes of differential algebras and Picard–Vessiot cocycles Z(G(E/K), PGLn(C)) which cobound in Z (G(E/K), PGLn(E)).
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014